Bug fix for rule extending abstract rule in another pattern