removed not-so-useful tactics
fixed subgoal solved propagation