FIX: better error reporting when a pre/post condition method is not
accessible (e.g. private/protected) or does not exist (e.g. typo).