checkAnswer' :: [Def]
checkAnswer' = checkAnswer'Def : isFinishEnv ++ checkStep ++ doStep
checkAnswer' :: [Def]
checkAnswer' = checkAnswer'Def : isFinishEnv ++ checkStep ++ doStep
checkAnswer' = checkAnswer'Def : isFinishEnv ++ checkStep ++ doStep