no variable assigner added, convexity checker added, equality checker incomplete