Extended basic optimization model
Basic constant folding