DynJAlloy requires a preparation step in which the source is sliced to capture only those fields, methods and classes concerning the property to check.
This slicer has to perform automatically the tasks asigned to tags: @j2daMethod, @j2daType, @j2daField
