Symbolic attacks are supposed to be expressions.
Generic function for being a symbolic attack.
Moves being symbolic attacks.
Refactor generating FOL moves.
Make sure that we get rid of equivalences.