#217: duplicate at_mostnvalue
#217: duplicate regular
#217: duplicate cost_regular
#217: disable views per default
Change default propagation engine
#217: duplicate multicost_regular
#217: duplicate cumulative