tree c13860addebd6ea60a3dcb5e70c1e193321444bf
parent 928fa68d609d918cc2baccb61e5f0a33ae2707d5
author Yuta HIGUCHI <y-higuchi@onlab.us> 1392225881 -0800
committer Yuta HIGUCHI <y-higuchi@onlab.us> 1392225881 -0800

Change invariant maintenance method name

Added memo of show stopping precondition to check,
transformation it may performe t maintain invariant.

Change-Id: Ibd2e0b1f4d0ee97aa96bdf41e4b5a67943f72c23