B-OCL Interpreter#