Since we put on purpose self halt in the code I suggest that we blind the rule checks for Pharo so that we can have green tests.