Bugfix: corrected behavior in the FM mult module, when comparisons like 2>=1 are derived.