Do not backtrack

hammer2 was possibly backtracking because ( >>> ) try its second argument when its first is stuck, but being stuck can both come from the tactic being inapplicable, or from folding the crc when all the children are stuck (see Crc.tactic)

Fix #121 (closed)