Remove unused code from Rechability.m