AExp now also uses the expressions used in conditions
some more work on embellished monotone framework solver, started implementing sign analysis to test and understand it