Seems like at some point the QuadradicLyapunov properties were made private and accessor functions were added. This commit updates regionOfAttraction to use the accessor functions instead