rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(that.pos(), that.sym);
rs.checkNonAbstract(that.pos(), that.sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(tree.pos(), sym);
rs.checkNonAbstract(that.pos(), that.sym);
rs.checkNonAbstract(that.pos(), that.sym);