remove printline + fix postconditionsvars.goal