Fix checkAnt/Suc bug

Code has been refactored into one method now too.
Change contraction

work-around for requirement check changed to if statement