enable debug SFP; multiple statements in conditional constraints; fix bugs in remove_not_constraint in sfp/sas.rb