remove printf from add_goal, plcmp