Added basic support to reason over changes