Fixed bug in Sicstus decision procedure (integer division not handled)