check if function is type unstable (more rigorous checks are needed)