finishing changes to parser
fixing precise constraints when 0 gadgets