Hello,
I am glad that you sorted out. I will send this topic to our developers, hope it will be useful in realizing compatibility our theme with php 7 and will be added in one of next theme updates.
Regards