Reworking the invariant section of the knowledge base

The function for checking to see if a marker has some invariant is
examined.