Bugfix for conditionals. Delta single-var bindings done.