Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks