more robust error checks for vardec
Bug fix in lyapunov equation solving