Rename methods and simplify specs for rule AI