Added evaluation relation and one instruction.