added space around the binops in program.__str__