added tests for control flow and subsumes test for bool
added domains, added ifelse for abstract values