moved rule helper operations to separate file
set bounds on result of multiply operation