Working on solver for conditions and expressions