fixed several bugs related to subcontext and initiating clause hashcode