Fix Live status + unsatisfiable goal when universe is mater
Rename reachable to available
Add comments
Add comments
Merge branch 'michel_1756_live_status' into next
Review 1189 by @mglukhovsky - Fix #1756