warn that stability cannot be completely converted to GR(1)
add conversion of (p until q) to GR(1) and unit test