fixed the parsing of -+* for hiding subgoals