Philipp Marohn, Viorica Sofronie-Stokkermans: SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). SOQE@KR 2021: 75-82