Fix bugs on Parser.Object; Add a test-case of goal constraint: c1.sfp