Fixing no-separation in property_incr/property_decr and Model\checkForeignKeysReverseCascade