Prg Specific Preconditions