Removed value attribute from varmanager. Fixed bugs in jump conditions