Allow constraint creation from multiplication and division when at least one argument is a constant expression