ref_rule bytecode + misc fixes