Add expected output of test 51
Polish `matchable` rule and add its missing Ops