Added support for checking which liveness assumptions are needed or not.