Cleaned up fixpoint helpers. Made simplification as fixpoint by default
Added all simplified cases for UCond, ICond1
Merge branch 'master' of github.com:DaMSL/K3-Core