alwaysSolved

fun alwaysSolved(tactic: Tactic = tactics.doNothing()): GoalStructure