Fixed invoked method in printAndSimplify