Convert negated variable to -1*variable in prop

fixes #75