partial parser for complexity input and proof