removed obsolete parameter
Introduced interface for EvalElements that are based on the B AST