Made mock file support the use of semantic checking serializer.
Updated a guarantee to give more info.