Added more tests for Proc2