Fix multiplication in parser api

API was trying to add multiplicative expressions as constraints.