update manipulator
update constraint opt
 bugfix lf visitor call
consider constant factors
new rinf
bugfix rinf-calles
add rinf-test
update rinf
update rinf