fixing code generation for fixed-points
fixing code generation for fixed-points
fixing condition registration with if-then
more small fixes