Immortal: A Model-Based Belief Revision System