Added function isSessionFilterSatisfied and added type casting for getter expected return value types.