add new procedures (and/or/not/xor) & perf test case