RelOp added, fixed assertion test